Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1058) K -THEORY AND ACTIONS ON EUCLIDEAN RETRACTS Arthur Bartels

Source URL: eta.impa.br

• Topology
• Geometry
• Mathematics
• Surgery theory
• Conjectures
• Geometric topology
• Geometric group theory
• K-theory
• FarrellJones conjecture
• Amenable group
• BaumConnes conjecture
• Asymptotic dimension

DOTAZNÍK SÚLADU POLITIKY OA Vyplňte formulár označením niektorej z poskytnutých volieb. Dotazník zodpovedá požiadavkám dokumentu EK Horizont 2020 Multi-beneficiary General Model Grant Agreement, Verzia 1.0, De

Source URL: www.pasteur4oa.eu

Three Bits Suffice: Explicit Support for Passive Measurement of Internet Latency in QUIC and TCP Piet De Vaere, Tobias Bühler, Mirja Kühlewind, and Brian Trammell ETH Zurich, Switzerland ABSTRACT

Source URL: nsg.romeier.ch

• Data transmission
• Computing
• Computer networking
• Network performance
• Internet protocols
• Information and communications technology
• QUIC
• Round-trip delay time
• Transmission Control Protocol
• Packet loss
• Transport layer
• Latency

E M S C B – Milestone No. I Turaya.Crypt – Secure Linux Hard-Disk Encryption DESIGN SPECIFICATION based on European Multilaterally Secure Computing Base (EMSCB)

Source URL: www.emscb.de

• Cryptography
• Disk encryption
• Cryptographic software
• Dm-crypt
• Symmetric-key algorithm
• Comparison of disk encryption software
• AES implementations

7061_DMAG_CEBIT19_Geländeplan_v13_EN

Source URL: www.cebit.de

• Economy
• Computing
• Information
• Cyberwarfare
• Computer network security
• Computer security
• Crime prevention
• Cryptography
• National security
• Startup ecosystem
• Internet of things
• General Data Protection Regulation

PDF Document

Source URL: www.vpp-patent.de

RALib: A LearnLib extension for inferring EFSMs Sofia Cassel Falk Howar Bengt Jonsson

Source URL: www.falkhowar.de

• Formal languages
• Finite-state machine
• Algorithm
• Regular expression
• Mathematics
• Machine learning
• Computer programming
• Philosophy of mathematics

LANDTAG RHEINLAND-PFALZ 14. W ah lp erio d e 486 Drucksache 14/

Source URL: www.datenschutz.rlp.de

δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de

Source URL: scungao.github.io

• Theoretical computer science
• Computability theory
• Computational complexity theory
• Theory of computation
• Constructivism
• Fourier analysis
• Formal methods
• Computable number
• Computable analysis
• Computable function
• NC
• Modulus of continuity

Article De-duplication Using Distributed Representations Shumpei Okura Yukihiro Tagami Akira Tajima

Source URL: gdac.uqam.ca

• Mathematics
• Algebra
• Vectors
• Vector calculus
• Linear algebra
• Cosine similarity
• Euclidean vector
• Trigonometric functions
• Function